1 Partial Execution - An Easy Partial Evaluation
نویسنده
چکیده
Partial evaluation, also known as automatic specialization, is a particular collection of techniques for improving the performance of an application. With clear benefits, but unclear implementation up until now, partial evaluation is little used in current computing practice. This soon will change. Presented here is partial execution, an alternative to symbolic evaluation the technique driving previous implementations of partial evaluation. In contrast to symbolic evaluation, partial execution is simply a part of the usual application execution. Partial execution thus avoids many of the problems introduced by symbolic evaluation. Partial execution is one of many execution features provided by the Task System and Item Architecture (TSIA) a project in its early stages.
منابع مشابه
1 Graph Reduction for Partial Evaluation
Partial evaluation is an automatic optimization of the execution of an application. For some of the components of partial evaluation, graph reduction long has promised practical implementations. The promises have not been fulfilled, since graph reduction itself lacked a practical implementation. Practical graph reduction recently has been achieved. It may satisfy some of the promises of graph r...
متن کاملInterleaving Symbolic Execution and Partial Evaluation
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advantage to speed up as well symbolic execution of programs. Interestingly, the input required for partial evaluation comes from symbolic execution itself which makes it natural to interleave partial evaluation and symbolic...
متن کاملAnalysis and Optimisation of Active Database Rules Using Abstract Interpretation and Partial Evaluation
Active databases provide reactive functionality by supporting event-conditionaction rules (also known as triggers). Two key issues in active databases are analysis and optimisation of such rules. In this paper we describe how abstract interpretation and partial evaluation can be applied to these tasks, demonstrating that they provide a useful framework that both encompasses various existing dat...
متن کاملOn Type-Directed Partial Evaluation
Type Directed Partial Evaluation (TDPE) is a new development in partial evaluation that has two properties that make it attractive for formal investigation: First, it is concise; it is deened in about six lines Dan96b]. Second, it is easy to implement; the deenition can be coded directly in a functional language like Scheme, yielding a demonstrably eecient and eeective partial evaluator DV96, V...
متن کاملA Simple Chairside Technique of Removing Crown and Fixed Partial Denture Restorations
Retrieving failed cemented crowns and fixed partial dentures with minimum discomfort to the patient has always been a clinical concern. This article describes a technique which will allow easy and predictable removal of these restorations.
متن کامل